تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۲,۴۴ ثانیه یافت شد.

1. Formal verification of object-oriented software :

پدیدآورنده : Bernhard Beckert, Claude Marche (editions.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Object-oriented methods (Computer science), Congresses

رده :

QA76

.

76

.

V47

F68

2011

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها